Nuprl Definition : void def
12,41
postcript
pdf
Void is Primitive
latex
origin